Make formatting of configure options consistent

Some options had double [], which can be avoided by
judicious use of opt="plain" attributes.

diff --git a/docs/reference/gtk/building.sgml b/docs/reference/gtk/building.sgml
index 542782c31083ef9ed165e5977b890b73aa3662c1..4e44a47ee91cab04f39f7cbbd84dcae3cdba4462 100644 (file)
--- a/docs/reference/gtk/building.sgml
+++ b/docs/reference/gtk/building.sgml
@@ -326,7 +326,7 @@ How to compile GTK+ itself
           </group>
           <sbr/>
           <group>
-            <arg>--enable-debug=[no/minimum/yes]</arg>
+            <arg choice="plain">--enable-debug=[no/minimum/yes]</arg>
           </group>
           <sbr/>
           <group>
@@ -395,7 +395,7 @@ How to compile GTK+ itself
           </group>
           <sbr/>
           <group>
-            <arg>--enable-introspection=[no/auto/yes]</arg>
+            <arg choice="plain">--enable-introspection=[no/auto/yes]</arg>
           </group>
           <sbr/>
           <group>